@inproceedings{yang2018fault,
  title={Fault-tolerant output-feedback path planning with temporal logic constraints},
  author={Yang, Liren and Ozay, Necmiye},
  booktitle={Proceedings of the 57th IEEE Conference on Decision and Control},
  pages={4032--4039},
  year={2018},
  organization={IEEE}
}